_require local "../../../../basis.smi"
_require local "../../../extensions/debug/main/Bug.smi"

_require "../../../libs/ids/main/LocalID.smi"
_require "../../../compilerIRs/idcalc/main/IDCalc.ppg.smi"

structure VALREC_Utils =
  struct
    val getFreeIdsInExp : IDCalc.icexp -> VarID.Set.set
    val getFreeIdsInRule : {args:IDCalc.icpat list, body:IDCalc.icexp} list
                           -> VarID.Set.set
  end
